Recalling Ivory's theorem

Recalling a Witness

type ref t = id:N{witnessed (has_a_t id t)} let has (id:N) (H h _) = match h id with Used _ _ (Untyped _)→⊤ | _→⊥ abstract type uref = id:N{witnessed (has id)}type uref = id:N{witnessed (has id)} To enforce these invariants on state-manipulating operations, we define a preorder rel on heap, that constrains the heap evolution. It states that every Used identifier remains Used; every Typed refere...

Recalling communities of practice.

Recalling superior mesenteric artery syndrome.

BACKGROUND Superior mesenteric artery syndrome is uncommon and characterized by postprandial epigastric pain, nausea, vomiting, anorexia and weight loss. The syndrome is caused by compression of the third part of the duodenum in the angle between the aorta and the superior mesenteric artery. This review updates etiology, epidemiology, diagnosis, treatment and outcome of the superior mesenteric ...

Austrian Theorizing: Recalling the Foundations

It is a pleasure to reply to Caplan’s (1999) critique of Austrian economics. Unlike other such recent reactions1 this one shows evidence of great familiarity with the Austrian (praxeological) literature, and a deep interest in its analytical foundations. Thus, Caplan correctly identifies the works of Ludwig von Mises and Murray N. Rothbard as the core of what sets Austrian economics apart from ...

Recalling taboo and nontaboo words.

People remember emotional and taboo words better than neutral words. It is well known that words that are processed at a deep (i.e., semantic) level are recalled better than words processed at a shallow (i.e., purely visual) level. To determine how depth of processing influences recall of emotional and taboo words, a levels of processing paradigm was used. Whether this effect holds for emotiona...